Calculus of Synchronous ProcessesSimon
نویسندگان
چکیده
We propose a typed calculus of synchronous processes based on the structure of interaction categories. Our aim has been to develop a calculus for concurrency that is canonical in the sense that the typed-calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence between the typed-calculus, intuitionistic logic and cartesian closed categories .
منابع مشابه
Synchronous Games in the Situation Calculus
We develop a situation calculus-based account of multi-player synchronous games. These are represented as action theories called situation calculus synchronous game structures (SCSGSs) that involve a single action tick whose effects depend on the combination of moves chosen by the players. Properties of games, e.g., winning conditions, playability, weak and strong winnability, etc. can be expre...
متن کاملParallel Juxtaposition for Bulk Synchronous Parallel ML
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the λ-calculus by parallel operations on a parallel data structure named parallel vector. An attempt to add a parallel composition to this approach led to a non-confluent calculus and to a restricted form of parallel composition. This paper...
متن کاملSynchrony vs Causality in the Asynchronous Pi-Calculus
We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under which synchronous interaction can be implemented using just asynchronous interactions in the π-calculus. We assume a number of minimal conditions referring to the work of Gorla: a “good” encoding must be compositional ...
متن کاملAn Action Structure for Synchronous -Calculus
After a review of relevant notions, an action structure is presented for the -calculus. This yields a version of -calculus which is synchronous in the sense of MEIJE or SCCS, i.e. an arbitrary amount of computation may take place in a single transition. The main new technical result is the construction of an incident set for the action structure, which guarantees a congruential strong bisimilar...
متن کاملDesign of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchronous hardware, using synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in a usual manner. The fundamental idea of synchronous action sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995